    <div id = "black_box"><img id="black_image" src="images/translucentblack.png"/></div>
    <div id = "login_line">
    <?php
      $first_name = $_SESSION['first_name'];
      $last_name = $_SESSION['last_name'];
      echo('Logged in as ' . $_SESSION['first_name'] . " " . $_SESSION['last_name'] . '. [<a href = "php/logout.php">log out</a>] [<a href = "adduser.php">add user</a>] [<a href = "joblist.php">manage processes</a>]');
    ?>
    </div>
    <div id = "logo_block"><img id = "logo_image" alt = "Phastregex" src="images/logo-phastregex-400px-white.png"/><br>
    <div id = "navii">[<a href = "opening.php">Phastregex Search</a>] [<a href = "annotate.php">Add feature/filter</a>] [<a href = "genename.php">Per-gene hit results</a>]</div>
    </div>

